Forking in pregeometries
نویسندگان
چکیده
The aim of this paper is to make progress towards a geometric model theory for non first order theories. The main difficulty is to work in an environment where the compactness theorem fails. This paper continues the work started in [GrLel]. The main result is an axiomatic approach to the Hrushovski-Zilber group configuration theorem.
منابع مشابه
The geometry of Hrushovski constructions, I: The uncollapsed case
An intermediate stage in Hrushovski’s construction of flat strongly minimal structures produces ω-stable structures of rank ω. We analyze the pregeometries given by forking on the regular type of rank ω in these structures. A sequel will compare these to the pregeometries of the strongly minimal structures.
متن کاملQualifying Exam Syllabus
Basic constructions: The completeness and compactness theorems. The Löwenheim-Skolem theorem. Omitting types. Ultraproducts. Indiscernible sequences. Nice properties: Saturation, homogeneity, and the monster model. Elimination of imaginaries and Meq. Quantifier elimination. Model completeness. Countably categorical theories. Stable theories: Characterizations of a stable formula. Stable, supers...
متن کاملDependence Relation in Pregeometries
The aim of this paper is to set a foundation to separate geometric model theory from model theory. Our goal is to explore the possibility to extend results from geometric model theory to non first order logic (e.g. L! 1;! ). We introduce a dependence relation between subsets of a pregeometry and show that it satisfies all the formal properties that forking satisfies in simple first order theori...
متن کاملRanks and pregeometries in finite diagrams
The study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D. In this work, we introduce a natural dependence relation on the subsets of the models for the No-stable case which share many of the formal properties of fo...
متن کاملDependence Relations in Nonelementary Classes
We study the classK of models of a first order theory T omitting a prescribed set of types, under the assumption that K contains a model with a high level of sequentialhomogeneity. The stability theory of such classes was initiated by Shelah in 1969. We introduce a rank which is bounded when K is א0-stable. The main difficulties are the failure of the compactness theorem forK and the fact that ...
متن کامل